Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning

Combining linear-time temporal logic with constructiveness and paraconsistency

Article history: Received 15 July 2008 Accepted 9 June 2009 Available online 12 June 2009

Paraconsistent sequential linear-time temporal logic and its application to medical reasoning

Reasoning about Actions in Dynamic Linear Time Temporal Logic

In this paper we present a theory for reasoning about actions which is based on Dynamic Linear Time Temporal Logic (DLTL). DLTL is a simple extension of propositional temporal logic of linear time in which regular programs of propositional dynamic logic can be used for indexing temporal modalities. The action theory we define allows to reason with incomplete initial states, to do postdiction an...

Dynamic Linear Time Temporal Logic

A simple extension of the propositional temporal logic of linear time is proposed. The extension consists of strengthening the until operator by indexing it with the regular programs of propositional dynamic logic (PDL). It is shown that DLTL, the resulting logic, is expressively equivalent to S1S, the monadic second-order theory of ω-sequences. In fact a sublogic of DLTL which corresponds to p...

Locally Linear Time Temporal Logic

We study linear time temporal logics of multiple agents, where the temporal modalities are local. These modalities not only refer to local next-instants and local eventuality, but also global views of agents at any local instant, which are updated due to communication from other agents. Thus agentsalso reason about the future, present and past of other agents in the system. The models for these...